Progression and Verification of Situation Calculus Agents with Bounded Beliefs

We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories. © 2015 The Author(s

A novel WFS1 mutation in a family with dominant low frequency sensorineural hearing loss with normal VEMP and EcochG findings

Background: Low frequency sensorineural hearing loss (LFSNHL) is an uncommon clinical finding. Mutations within three different identified genes (DIAPH1, MYO7A, and WFS1) are known to cause LFSNHL. The majority of hereditary LFSNHL is associated with heterozygous mutations in the WFS1 gene (wolframin protein). The goal of this study was to use genetic analysis to determine if a small American family's hereditary LFSNHL is linked to a mutation in the WFS1 gene and to use VEMP and EcochG testing to further characterize the family's audiovestibular phenotype. Methods: The clinical phenotype of the American family was characterized by audiologic testing, vestibular evoked myogenic potentials (VEMP), and electrocochleography (EcochG) evaluation. Genetic characterization was performed by microsatellite analysis and direct sequencing of WFS1 for mutation detection. Results: Sequence analysis of the WFS1 gene revealed a novel heterozygous mutation at c.2054G>C predicting a p.R685P amino acid substitution in wolframin. The c.2054G>C mutation segregates faithfully with hearing loss in the family and is absent in 230 control chromosomes. The p.R685 residue is located within the hydrophilic C-terminus of wolframin and is conserved across species. The VEMP and EcochG findings were normal in individuals segregating the WFS1 c.2054G>C mutation. Conclusion: We discovered a novel heterozygous missense mutation in exon 8 of WFS1 predicting a p.R685P amino acid substitution that is likely to underlie the LFSNHL phenotype in the American family. For the first time, we describe VEMP and EcochG findings for individuals segregating a heterozygous WFS1 mutation.NIH grants DC04945 (V.A.S), DC006901 (V.A.S.) and P30 DC04661 (V.M. Bloedel Core)

In the absence of cancer registry data, is it sensible to assess incidence using hospital separation records?

BACKGROUND: Within the health literature, a major goal is to understand distribution of service utilisation by social location. Given equivalent access, differential incidence leads to an expectation of differential service utilisation. Cancer incidence is differentially distributed with respect to socioeconomic status. However, not all jurisdictions have incidence registries, and not all registries allow linkage with utilisation records. The British Columbia Linked Health Data resource allows such linkage. Consequently, we examine whether, in the absence of registry data, first hospitalisation can act as a proxy measure for incidence, and therefore as a measure of need for service. METHODS: Data are drawn from the British Columbia Linked Health Data resource, and represent 100% of Vancouver Island Health Authority cancer registry and hospital records, 1990–1999. Hospital separations (discharges) with principal diagnosis ICD-9 codes 140–208 are included, as are registry records with ICDO-2 codes C00-C97. Non-melanoma skin cancer (173/C44) is excluded. Lung, colorectal, female breast, and prostate cancers are examined separately. We compare registry and hospital annual counts and age-sex distributions, and whether the same individuals are represented in both datasets. Sensitivity, specificity and predictive values are calculated, as is the kappa statistic for agreement. The registry is designated the gold standard. RESULTS: For all cancers combined, first hospitalisation counts consistently overestimate registry incidence counts. From 1995–1999, there is no significant difference between registry and hospital counts for lung and colorectal cancer (p = 0.42 and p = 0.56, respectively). Age-sex distribution does not differ for colorectal cancer. Ten-year period sensitivity ranges from 73.0% for prostate cancer to 84.2% for colorectal cancer; ten-year positive predictive values range from 89.5% for female breast cancer to 79.35% for prostate cancer. Kappa values are consistently high. CONCLUSION: Claims and registry databases overlap with an appreciable proportion of the same individuals. First hospital separation may be considered a proxy for incidence with reference to colorectal cancer since 1995. However, to examine equity across cancer health services utilisation, it is optimal to have access to both hospital and registry files

Prioritizing Risks and Uncertainties from Intentional Release of Selected Category A Pathogens

This paper synthesizes available information on five Category A pathogens (Bacillus anthracis, Yersinia pestis, Francisella tularensis, Variola major and Lassa) to develop quantitative guidelines for how environmental pathogen concentrations may be related to human health risk in an indoor environment. An integrated model of environmental transport and human health exposure to biological pathogens is constructed which 1) includes the effects of environmental attenuation, 2) considers fomite contact exposure as well as inhalational exposure, and 3) includes an uncertainty analysis to identify key input uncertainties, which may inform future research directions. The findings provide a framework for developing the many different environmental standards that are needed for making risk-informed response decisions, such as when prophylactic antibiotics should be distributed, and whether or not a contaminated area should be cleaned up. The approach is based on the assumption of uniform mixing in environmental compartments and is thus applicable to areas sufficiently removed in time and space from the initial release that mixing has produced relatively uniform concentrations. Results indicate that when pathogens are released into the air, risk from inhalation is the main component of the overall risk, while risk from ingestion (dermal contact for B. anthracis) is the main component of the overall risk when pathogens are present on surfaces. Concentrations sampled from untracked floor, walls and the filter of heating ventilation and air conditioning (HVAC) system are proposed as indicators of previous exposure risk, while samples taken from touched surfaces are proposed as indicators of future risk if the building is reoccupied. A Monte Carlo uncertainty analysis is conducted and input-output correlations used to identify important parameter uncertainties. An approach is proposed for integrating these quantitative assessments of parameter uncertainty with broader, qualitative considerations to identify future research priorities

Collaborative care for the treatment of comorbid depression and coronary heart disease: a systematic review and meta-analysis protocol

BACKGROUND: Depression and coronary heart disease (CHD) are frequently comorbid and portend higher morbidity, mortality and poorer quality of life. Prior systematic reviews of depression treatment randomized controlled trials (RCTs) in the population with CHD have not assessed the efficacy of collaborative care. This systematic review aims to bring together the contemporary research on the effectiveness of collaborative care interventions for depression in comorbid CHD populations. METHODS/DESIGN: Electronic databases (Cochrane Central Register of Controlled Trials MEDLINE, EMBASE, PsycINFO and CINAHL) will be searched using a sensitive search strategy exploding the topics CHD, depression and RCT. Full text inspection and bibliography searching will be conducted, and authors of included studies will be contacted to identify unpublished studies. Eligibility criteria are: population, depression comorbid with CHD; intervention, RCT of collaborative care defined as a coordinated model of care involving multidisciplinary health care providers, including: (a) primary physician and at least one other health professional (e.g. nurse, psychiatrist, psychologist), (b) a structured patient management plan that delivers either pharmacological or non-pharmacological intervention, (c) scheduled patient follow-up and (d) enhanced inter-professional communication between the multiprofessional team; comparison, either usual care, enhanced usual care, wait-list control group or no further treatment; and outcome, major adverse cardiac events (MACE), standardized measure of depression, anxiety, quality of life, cost-effectiveness. Screening, data extraction and risk of bias assessment will be undertaken by two reviewers with disagreements resolved through discussion. Meta-analytic methods will be used to synthesize the data collected relating to the outcomes. DISCUSSION: This review will evaluate the effectiveness and cost-effectiveness of collaborative care for depression in populations primarily with CHD. The results will facilitate integration of evidence-based practice for this precarious population. SYSTEMATIC REVIEW REGISTRATION: PROSPERO CRD42014013653.Phillip J Tully and Harald Baumeiste

Cost of hospital management of Clostridium difficile infection in United States - a meta-analysis and modelling study

Background: Clostridium difficile infection (CDI) is the leading cause of infectious nosocomial diarrhoea but the economic costs of CDI on healthcare systems in the US remain uncertain. Methods: We conducted a systematic search for published studies investigating the direct medical cost associated with CDI hospital management in the past 10 years (2005-2015) and included 42 studies to the final data analysis to estimate the financial impact of CDI in the US. We also conducted a meta-analysis of all costs using Monte Carlo simulation. Results: The average cost for CDI case management and average CDI-attributable costs per case were $42,316 (90$ 39,886, $44,765) and$ 21,448 (90 % CI: $21,152,$ 21,744) in 2015 US dollars. Hospital-onset CDIattributable cost per case was $34,157 (90$ 33,134, $35,180), which was 1.5 times the cost of communityonset CDI ($ 20,095 [ 90 % CI: $4991,$ 35,204]). The average and incremental length of stay (LOS) for CDI inpatient treatment were 11.1 (90 % CI: 8.7-13.6) and 9.7 (90 % CI: 9.6-9.8) days respectively. Total annual CDI-attributable cost in the US is estimated US$6.3 (Range:$ 1.9-$ 7.0) billion. Total annual CDI hospital management required nearly 2.4 million days of inpatient stay. Conclusions: This review indicates that CDI places a significant financial burden on the US healthcare system. This review adds strong evidence to aid policy-making on adequate resource allocation to CDI prevention and treatment in the US. Future studies should focus on recurrent CDI, CDI in long-term care facilities and persons with comorbidities and indirect cost from a societal perspective. Health-economic studies for CDI preventive intervention are needed.Sanofi PasteurSCI(E)[email protected]

Common variants at 12p11, 12q24, 9p21, 9q31.2 and in ZNF365 are associated with breast cancer risk for BRCA1 and/or BRCA2 mutation carriers

Abstract Introduction Several common alleles have been shown to be associated with breast and/or ovarian cancer risk for BRCA1 and BRCA2 mutation carriers. Recent genome-wide association studies of breast cancer have identified eight additional breast cancer susceptibility loci: rs1011970 (9p21, CDKN2A/B), rs10995190 (ZNF365), rs704010 (ZMIZ1), rs2380205 (10p15), rs614367 (11q13), rs1292011 (12q24), rs10771399 (12p11 near PTHLH) and rs865686 (9q31.2). Methods To evaluate whether these single nucleotide polymorphisms (SNPs) are associated with breast cancer risk for BRCA1 and BRCA2 carriers, we genotyped these SNPs in 12,599 BRCA1 and 7,132 BRCA2 mutation carriers and analysed the associations with breast cancer risk within a retrospective likelihood framework. Results Only SNP rs10771399 near PTHLH was associated with breast cancer risk for BRCA1 mutation carriers (per-allele hazard ratio (HR) = 0.87, 95% CI: 0.81 to 0.94, P-trend = 3 × 10-4). The association was restricted to mutations proven or predicted to lead to absence of protein expression (HR = 0.82, 95% CI: 0.74 to 0.90, P-trend = 3.1 × 10-5, P-difference = 0.03). Four SNPs were associated with the risk of breast cancer for BRCA2 mutation carriers: rs10995190, P-trend = 0.015; rs1011970, P-trend = 0.048; rs865686, 2df-P = 0.007; rs1292011 2df-P = 0.03. rs10771399 (PTHLH) was predominantly associated with estrogen receptor (ER)-negative breast cancer for BRCA1 mutation carriers (HR = 0.81, 95% CI: 0.74 to 0.90, P-trend = 4 × 10-5) and there was marginal evidence of association with ER-negative breast cancer for BRCA2 mutation carriers (HR = 0.78, 95% CI: 0.62 to 1.00, P-trend = 0.049). Conclusions The present findings, in combination with previously identified modifiers of risk, will ultimately lead to more accurate risk prediction and an improved understanding of the disease etiology in BRCA1 and BRCA2 mutation carriers